Dict(
	[11, 9, 15, 5, 13, 1, 1, 15, 1, 1] => QQFieldElem[-9//32, 0, 0, 0])